#ifndef __MYPRINTK_H__
#define __MYPRINTK_H__

int myPrintk(int color,const char *format, ...);

#include "wallClock.h"
#include "tasktype.h"
extern myTCB* currentTask;
void tstcase0(void);

#endif